Aspect Weaving in UML Activity Diagrams: A Semantic and Algorithmic Framework
نویسندگان
چکیده
Aspect-Oriented Modeling (AOM) is an emerging solution for handling crosscutting concerns at the software modeling level in order to reduce the complexity of software models and application code. Most existing work on weaving aspects into UML design models is presented from a practical perspective and lacks formal syntax and semantics. In this paper, we propose formal specifications for aspect weaving into UML activity diagrams and the implementation strategies of the proposed weaving semantics. To this end, we define syntax for activity diagrams and UML aspects. We also show the correctness and the completeness of the matching and the weaving processes in terms of the semantics and the algorithms provided in this paper. Finally, we demonstrate the viability and the relevance of our propositions using a case study.
منابع مشابه
Aspect Diagrams for UML Activity Models
Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides an approach to the organization and management of code that cross-cut elements of the base program or library. Cross-cutting aspects is also an issue within the modeling domain, and it is therefore likely that modeling language...
متن کاملAspect-enhanced goal-driven sequence diagram
Recently, aspect-oriented approaches have resulted in a tremendous impact on the processing of broadly scoped properties during the development of software systems. However, the weaving mechanism of these crosscutting concerns cannot be easily represented with the extant uniÞed modeling language (UML) notation at the early stage of software development life cycle. As an attempt toward the inves...
متن کاملSemantics-Based Weaving of UML Sequence Diagrams
In this paper we briefly introduce an aspect language that can define cross-cutting effects on a set of UML 2.0 sequence diagrams. Our main contribution is to weave aspects and sequence diagrams at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. To avoid the intractability of working on complete trace sets, w...
متن کاملA Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
In this paper we introduce an aspect language that can define crosscutting e ects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbol as a wildcard mechanism to express zero or more events ...
متن کاملModeling the Evolution of Aspect Configurations using Model Transformations
In this paper we introduce an approach to address the evolution of aspect configurations with model transformations. We use model transformation diagrams (MTDs) to define valid behavioral model states of a system as well as valid transitions between those states. MTD transformations can be used to define evolutionary changes in the weaving process of an aspect-oriented system. To allow for a st...
متن کامل